panel: Remove some unused duplicate constants

diff --git a/js/ui/panel.js b/js/ui/panel.js
index d1bf3fd4e5e770b9dfb0f3aedd4063d6990b3a9b..92272df98b85a81ebfc9069719b637621ca842a5 100644 (file)
--- a/js/ui/panel.js
+++ b/js/ui/panel.js
@@ -44,14 +44,6 @@ const STANDARD_TRAY_ICON_SHELL_IMPLEMENTATION = {
 if (Config.HAVE_BLUETOOTH)
     STANDARD_TRAY_ICON_SHELL_IMPLEMENTATION['bluetooth'] = imports.ui.status.bluetooth.Indicator;
 
-// in org.gnome.desktop.interface
-const CLOCK_FORMAT_KEY        = 'clock-format';
-
-// in org.gnome.shell.clock
-const CLOCK_SHOW_DATE_KEY     = 'show-date';
-const CLOCK_SHOW_SECONDS_KEY  = 'show-seconds';
-
-
 // To make sure the panel corners blend nicely with the panel,
 // we draw background and borders the same way, e.g. drawing
 // them as filled shapes from the outside inwards instead of